基于联合分步APIT定位算法的改进

本文研究了无线传感网络( Wireless Sensor Network,WSNs)的节点定位问题,并针对APIT由于锚节点在低密度环境下的节点误判和节点失效等问题给出了改进,在APICT定位算法的基础提出了联合分步定位算法UNION-APICT(Union Approximate Point-In-Circumcircle Test),该算法是结合连通性的测距技术,RSSI测距技术以及质心定位和APICT等技术,来联合解决对未知节点定位问题。通过仿真实验结果表明,改进后的UNION-APICT在APICT算法的基础之上平均定位误差减少了10%-25%,定位性能有了明显的提升;随着通信半径R和最大探测距离rmax的增加,定位误差也在逐渐减小,该算法较APIT和APICT定位算法在锚节点密度、节点覆盖率和定位精度上都有所提高。     

Research on application of polynomial fitting technique in rotary kiln infrared temperature measurement system

Aiming at the linear temperature compensation algorithm’s disadvantage of temperature measurement error in rotary kiln infrared scanning temperature measurement process, this paper proposes a precise nonlinear cubic polynomial fitting temperature compensation algorithm. The proposed algorithm compensates the temperature values of scanning points on rotary kiln surface by following steps: Calculating temperature difference between the real temperature value of rotary kiln and temperature value measured by infrared scanning temperature measurement system; Fitting the temperature difference data with cubic polynomial; Using the obtained function to compensate temperature. Experimental result shows that compared with the usual linear temperature compensation algorithm, the accuracy of proposed algorithm has raised about 2.25 times when cubic polynomial is used.     

基于非同步替代光谱定标的地表下垫面影响分析

对760nm附近的氧气吸收带,选用植被、枯萎植被、人工地物、沙地和雪地五种典型地表类型,基于模拟数据进行非同步替代光谱定标方法的误差分析,比较不同地表类型得到的光谱定标准确度,为高光谱成像仪的非同步替代光谱定标提供定标图像选择策略.结果表明:运用两种光谱匹配方法——光谱角度匹配和欧氏距离法得到的定标误差基本一致;730~800nm的地表反射率曲线标准差在0.05nm以内时,定标误差集中在±0.5nm范围内;人工地物类型中个别地物如橄榄绿光泽涂料和植被大面积覆盖的图像数据不适合用于非同步替代光谱定标.     

求解Schrdinger方程的高阶紧致差分格式

基于Richardson外推法提出了一种求解Schrdinger方程的高阶紧致差分方法.该方法首先利用二阶微商的四阶精度紧致差分逼近公式对原方程进行求解,然后利用Richardson外推技术外推一次,得到了Schrdinger方程具有O(r~4+h~4)精度的数值解.通过Fourier分析方法证明了该格式是无条件稳定的.数值实验验证了该方法的高阶精度及有效性.     

A linearized two-stream radiative transfer code for fast approximation of multiple-scatter fields

Performance is an issue for radiative transfer simulations in hyper-spectral remote sensing backscatter retrieval algorithms. 2-Stream models are often used to speed up flux and radiance calculations. Here we present a linearized 2-stream multiple-scatter code, with the ability to generate analytic weighting functions with respect to any atmospheric or surface property. We examine 2-stream accuracy for the satellite intensity diffuse field, and the corresponding Jacobians for total ozone column and surface albedo, for an application in the ozone UV Huggins bands.     

色散磁导率对异向介质中的调制不稳定性的影响

基于Drude模型研究了异向介质的色散磁导率对调制不稳定性的影响. 结果表明，在反常色散情形，赝五阶非线性在异向介质的负折射区中增大了调制频谱的范围及增益值，这与常规正折射介质中出现的现象正好相反；自陡峭效应在异向介质中有可能为负值，但无论正负，也无论在正折射区还是负折射区，它都抑制调制不稳定性的产生；二阶非线性色散效应在正、负折射区中分别促进和抑制调制不稳定性的产生. 在正常色散情形，由于二阶非线性色散效应的作用，使本来在常规正折射介质中不可能出现的调制不稳定性现象也能出现，这一特性为在正常色散区形成孤     

Glivenko Classes of Sequents for Temporal Logic with Time Gaps

Let LB be a sequent calculus of the first-order classical temporal logic TB with time gaps. Let, further, LBJ be the intuitionistic counterpart of LB. In this paper, we consider conditions under which a sequent is derivable in the calculus LBJ if and only if it is derivable in the calculus LB. Such conditions are defined for sequents with one formula in the succedent (purely Glivenko -classes) and for sequents with the empty succedent (Glivenko -classes).     

Positivity preserving finite element approximation

We consider finite element operators defined on ``rough' functions in a bounded polyhedron in . Insisting on preserving positivity in the approximations, we discover an intriguing and basic difference between approximating functions which vanish on the boundary of and approximating general functions which do not. We give impossibility results for approximation of general functions to more than first order accuracy at extreme points of . We also give impossibility results about invariance of positive operators on finite element functions. This is in striking contrast to the well-studied case without positivity.

     

基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础,提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解,还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．     

Second-order subgradients of convex integral functionals

The purpose of this work is twofold: on the one hand, we study the second-order behaviour of a nonsmooth convex function defined over a reflexive Banach space . We establish several equivalent characterizations of the set , known as the second-order subdifferential of at relative to . On the other hand, we examine the case in which is the functional integral associated to a normal convex integrand . We extend a result of Chi Ngoc Do from the space to a possible nonreflexive Banach space . We also establish a formula for computing the second-order subdifferential .